home *** CD-ROM | disk | FTP | other *** search
- package javax.swing;
-
- import java.awt.Container;
- import java.awt.Dimension;
-
- public class JToolBar$Separator extends JSeparator {
- private Dimension separatorSize;
-
- public JToolBar$Separator() {
- this((Dimension)null);
- }
-
- public JToolBar$Separator(Dimension var1) {
- super(0);
- this.setSeparatorSize(var1);
- }
-
- public Dimension getMaximumSize() {
- return this.getPreferredSize();
- }
-
- public Dimension getMinimumSize() {
- return this.getPreferredSize();
- }
-
- public Dimension getPreferredSize() {
- return this.separatorSize.getSize();
- }
-
- public Dimension getSeparatorSize() {
- return this.separatorSize;
- }
-
- public String getUIClassID() {
- return "ToolBarSeparatorUI";
- }
-
- public void setSeparatorSize(Dimension var1) {
- if (var1 != null) {
- this.separatorSize = var1;
- } else {
- super.updateUI();
- }
-
- ((Container)this).invalidate();
- }
- }
-